Shortest Axiomatizations of Implicational S4 and S5
نویسندگان
چکیده
منابع مشابه
Shortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for implicational S4—which to our knowledge is the first reported single axiom for that system—and several new shortest single axioms for implicational S5. A variety of automated reasoning strategies were essential to our d...
متن کاملThe Topological Product of S4 and S5
The most obvious bimodal logic generated from unimodal logics L1 and L2 is their fusion, L1 ⊗L2, axiomatized by the theorems of L1 for 1 and of L2 for 2, and by the rules of modus ponens, substitution and necessitation for 1 and for 2. Shehtman introduced the frame product L1×L2, as the logic of the products of certain Kripke frames. Typically, L1 ⊗ L2 ( L1 × L2, e.g. S4⊗ S4 ( S4× S4. Van Benth...
متن کاملStructural determinants for the action of grayanotoxin in D1 S4-S5 and D4 S4-S5 intracellular linkers of sodium channel alpha-subunits.
We located a novel binding site for grayanotoxin on the cytoplasmic linkers of voltage-dependent cardiac (rH1) or skeletal-muscle (mu 1) Na(+) channel isoforms (segments S4-S5 in domains D1 and D4), using the alanine scanning substitution method. GTX-modification of Na(+) channels, transiently expressed in HEK 293 cells, was evaluated under whole-cell voltage clamp, from the ratio of maximum ch...
متن کاملContribution of S4 segments and S4-S5 linkers to the low-voltage activation properties of T-type CaV3.3 channels
Voltage-gated calcium channels contain four highly conserved transmembrane helices known as S4 segments that exhibit a positively charged residue every third position, and play the role of voltage sensing. Nonetheless, the activation range between high-voltage (HVA) and low-voltage (LVA) activated calcium channels is around 30-40 mV apart, despite the high level of amino acid similarity within ...
متن کاملReversal of HCN Channel Voltage Dependence via Bridging of the S4–S5 Linker and Post-S6
Voltage-gated ion channels possess charged domains that move in response to changes in transmembrane voltage. How this movement is transduced into gating of the channel pore is largely unknown. Here we show directly that two functionally important regions of the spHCN1 pacemaker channel, the S4-S5 linker and the C-linker, come into close proximity during gating. Cross-linking these regions with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2002
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1074290715